|(<+>hgrp)| 

latex

Up	groups 1
Definitions of Statement	GrpSig, |g|, , e, Mon, AbMon, Group{i}, AbGrp, OCMon, a  b, OGrp, |g|, ghgrp, <+>
Definitions	False, A, P  Q, t  T, A  B, t.2, t.1, , x f y, e, <+>, a  b, P & Q, x:A. B(x), P  Q, P  Q,
Lemmas	nat wf, grp id wf, abgrp wf, int add grp wf, grp leq wf, assert of le int